State, event, time and diagram in system modeling
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Semantic Web for Extending and Linking Formalisms
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
Capturing Periodic Concurrent Interactions of Mission Computer Tasks
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
IWSSD '00 Proceedings of the 10th International Workshop on Software Specification and Design
A Cloverleaf of Software Engineering
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Semantics transformation of NFA to Z notation by constructing union of regular languages
ACS'08 Proceedings of the 8th conference on Applied computer scince
Rôle of domain engineering in software development—why current requirements engineering is flawed !
PSI'09 Proceedings of the 7th international Andrei Ershov Memorial conference on Perspectives of Systems Informatics
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Hi-index | 0.00 |