Yassine Lakhnech – författare
Visar alla böcker från författaren Yassine Lakhnech. Handla med fri frakt och snabb leverans.
8 produkter
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Av Willem-Paul de Roever, Frank de Boer m. fl.
Häftad, 2012
1341 kr
Lägg i varukorg
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …
Concurrency Verification
Introduction to Compositional and Non-compositional Methods
Av Willem-Paul de Roever, Frank de Boer m. fl.
Inbunden, 2001
3709 kr
Lägg i varukorg
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an exposition of the …
Tool Support for System Specification, Development and Verification
Av Rudolf Berghammer, Yassine Lakhnech
Häftad, 1999
569 kr
Lägg i varukorg
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can …
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Av Yassine Lakhnech, Sergio Yovine
Häftad, 2004
569 kr
Lägg i varukorg
This volume contains the proceedings of the joint conference on Formal M- elling and Analysis of Timed Systems (FORMATS) and Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT), held in Grenoble,France,on September 22-24,2004. The conference united two previously independently - …
Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Joint International Conferences on Formal Modeling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings
Av Sergio Yovine, Yassine Lakhnech
E-bok, 2004
755 kr
Lägg i varukorg
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Av Saddek Bensalem, Yassine Lakhnech m. fl.
Häftad, 2014
545 kr
Lägg i varukorg
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary …
From Programs to Systems - The Systems Perspective in Computing
ETAPS Workshop, FPS 2014, in Honor of Joseph Sifakis, Grenoble, France, April 6, 2014, Proceedings
Av Axel Legay, Yassine Lakhnech m. fl.
E-bok, 2014
657 kr
Lägg i varukorg
"From Programs to Systems - The Systems Perspective in Computing" workshop (FPS 2014) was held in honor of Professor Joseph Sifakis in the framework of the 16th European Joint Conferences on Theory and Practice of Software, ETAPS, in Grenoble, April 2014. Joseph Sifakis is an active and visionary …
Tool Support for System Specification, Development and Verification
Av Yassine Lakhnech, Rudolf Berghammer
E-bok, 2012
755 kr
Lägg i varukorg
The correct development of large / com plex pieces of software demands a thorough structuring of the design process. In a first phase the requirements engineering is relevant for capturing the relevant functionality and its adequate formalization in precise mathematical definitions. Prototyping can …
