PERTS: an environment for specification and verification of reactive systems - (Reliability Engineering and System Safety, 71(3), 2001, 299-310)
Year of publication: |
2001
|
---|---|
Authors: | Bhattacharjee, A.K. ; Dhodapkar, S.D. ; Shyamasundar, R.K. |
Published in: |
Reliability engineering & system safety. - London : Elsevier, ISSN 0951-8320, ZDB-ID 612029. - Vol. 72.2001, 2, p. 223-224
|
Saved in:
Saved in favorites
Similar items by person
-
PERTS: an environment for specification and verification of reactive systems
Bhattacharjee, A.K., (2001)
-
Assertion checking environment (ACE) for formal verification of C programs
Sharma, Babita, (2003)
- More ...