Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Francois Defossez
A Formal Model of Requirements
Open Transportation Journal
Modeling
Transportation
Simulation
Related publications
Formal Methods in Requirements Phase of SDLC
International Journal of Computer Applications
A Formal Requirements Engineering Framework for CIM Infrastructures Reengineering
A Formal Model of Identity Mixer
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Co-Evolution of Complementary Formal and Informal Requirements
A Formal Model of Data Privacy
A Formal Approach to Adaptive Software: Continuous Assurance of Non-Functional Requirements
Formal Aspects of Computing
Theoretical Computer Science
Software
reqT.org – Towards a Semi-Formal, Open and Scalable Requirements Modeling Tool
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Verified Formal Model of a VC Generator
2006 30th Annual IEEE/NASA Software Engineering Workshop
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
