Introduction
AboutComputing and Processing
Keywords:dependable computing,formal methods,software engineering,
Scope:dependable computing
Sponsor Type:1
Keywords:dependable computing,formal methods,software engineering,
Scope:dependable computing
Sponsor Type:1
Call for paper
All Comments
Important Date
-
Conference Date
Oct 24
2023
toOct 27
2023
Sponsored By
IEEE Computer Society
Contact Information
Previous Conferences
-
2021-12-01 Australia
2021 IEEE 26th Pacific Rim International Symposium on Dependable Computing (PRDC) -
2018-12-04 Taiwan, China
2018 IEEE 23rd Pacific Rim International Symposium on Dependable Computing -
2017-01-22 New Zealand Christchurch,New Zealand
2017 IEEE 22nd Pacific Rim International Symposium on Dependable Computing -
2013-12-02 Canada Vancouver，Canada
2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing (PRDC)
Submit Comment