Вы здесь

Главная

Perspectives of Systems Informatics

Связанные издания:

Applicability of the BLAST Model Checker: An Industrial Case Study
A Two-Level Approach for Modeling and Verification of Telecommunication Systems
Compositional and Quantitative Model Checking (Extended Abstract)
Invariants, Modularity, and Rights
Role of Domain Engineering in Software Development. Why Current Requirements Engineering Is Flawed!
Sigma (k) - constraints for Hybrid Systems