Search results for: Mamoun Filali
Frontiers of Computer Science > 2019 > 13 > 4 > 715-734
Acta Informatica > 2018 > 55 > 5 > 363-400
Lecture Notes in Computer Science > Parallel Processing and Applied Mathematics > Paralel and Distributed Non-numerical Algorithms > 51-58
Lecture Notes in Computer Science > Models in Software Engineering > Model Based Architecting and Construction of Embedded Systems (ACES-MB) > 1-4
Lecture Notes in Computer Science > Automated Technology for Verification and Analysis > Regular Papers > 105-119
Lecture Notes in Computer Science > Deontic Logic and Artificial Normative Systems > Contributed Papers > 85-100
Lecture Notes in Computer Science > Integrated Formal Methods > Session: Applications of B > 187-206
Lecture Notes in Computer Science > ZB 2002:Formal Specification and Development in Z and B > 350-369
IFIP — The International Federation for Information Processing
Lecture Notes in Business Information Processing > Enterprise, Business-Process and Information Systems Modeling > Business Process Modeling and Support Systems Development > 261-275
Science of Computer Programming > 2015 > 106 > Complete > 30-53