Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Michaël Petit
A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering
Related publications
Support for Concurrent Engineering in CIM-FACE
A Trust Framework for Security Collaboration Among Infrastructures
Process-Oriented Requirements Engineering: User-Centric LORS Framework
Journal of Software Engineering and Applications
Elastic Monitoring Framework for Cloud Infrastructures
IET Communications
Electronic Engineering
Computer Science Applications
Electrical
A Metaprogramming Framework for Formal Verification
Proceedings of the ACM on Programming Languages
A Formal Model of Requirements
Open Transportation Journal
Modeling
Transportation
Simulation
Towards a Formal Framework for Computational Trust
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Formal Framework for Specifying Concurrent Systems
International Journal of Computer Applications
Requirements Engineering: A Survey
Communications on Applied Electronics
