Languages
Zaidi, Fatiha.
Overview
| Works: | 2 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Testing software and systems = 23rd IFIP WG 6.1 international conference, ICTSS 2011, Paris, France, November 7-10, 2011 : proceedings /
by:
SpringerLink (Online service); Wolff, Burkhart.; Zaidi, Fatiha.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Formal methods and software engineering = 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015 : proceedings /
by:
Zaidi, Fatiha.; Butler, Michael.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service); Conchon, Sylvain.
(Language materials, printed)
Subjects
Software Engineering.
Formal methods (Computer science)
Algorithm Analysis and Problem Complexity.
Programming Techniques.
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer Communication Networks.
Models and Principles.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Computer software
Software engineering