Languages
Gnesi, Stefania.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Critical systems = formal methods and automated verification : Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016 : proceedings /
by:
Beek, Maurice H. ter.; SpringerLink (Online service); Gnesi, Stefania.; Knapp, Alexander.; Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
FM 2016: Formal Methods = 21st International Symposium, Limassol, Cyprus, November 9-11, 2016, Proceedings /
by:
SpringerLink (Online service); Fitzgerald, John.; Philippou, Anna.; Heitmeyer, Constance.; Gnesi, Stefania.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Critical Systems: Formal Methods and Automated Verification = Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, Proceedings /
by:
Knapp, Alexander.; SpringerLink (Online service); ter Beek, Maurice H.; Gnesi, Stefania.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Fundamental approaches to software engineering = 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Rensink, Arend.; Gnesi, Stefania.; SpringerLink (Online service); Workshop on the Preservation of Stability under Discretization ((2001 :)
(Language materials, printed)
Requirements Engineering: Foundation for Software Quality = 26th International Working Conference, REFSQ 2020, Pisa, Italy, March 24–27, 2020, Proceedings /
by:
Ferrari, Alessio.; SpringerLink (Online service); Madhavji, Nazim.; Gnesi, Stefania.; Pasquale, Liliana.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
Software Engineering.
Mathematical logic.
Formal methods (Computer science)
Computer organization.
Computer logic.
Artificial intelligence.
Software engineering.
Information Systems Applications (incl. Internet).
Computer Science.
Computer programs
Computer Systems Organization and Communication Networks.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Special purpose computers.
Management of Computing and Information Systems.
Application software.
User interfaces (Computer systems).
Artificial Intelligence.
Special Purpose and Application-Based Systems.
Computer science.
Management information systems.
Computers.
User Interfaces and Human Computer Interaction.
Software engineering
Programming Languages, Compilers, Interpreters.
Programming languages (Electronic computers).
Computer software
Computation by Abstract Devices.