Languages
Majumdar, Rupak.
Overview
Works: | 1 works in 3 publications in 1 languages |
---|
Titles
Hybrid systems = computation and control, 12th international conference, HSCC 2009, San Francisco, CA,USA, April 13-15, 2009, proceedings /
by:
Congress on Progress and Controversies in Oncological Urology (2000:); SpringerLink (Online service); Tabuada, Paulo.; Majumdar, Rupak.
(Electronic resources)
Model Checking Software = 15th International SPIN Workshop, Los Angeles, CA, USA, August 10-12, 2008 Proceedings /
by:
Palsberg, Jens.; Majumdar, Rupak.; Havelund, Klaus, (1955-); SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Tools and algorithms for the construction and analysis of systems = 16th international conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010 : proceedings /
by:
Esparza, Javier.; Majumdar, Rupak.; SpringerLink (Online service); Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Software Engineering.
System design
Artificial Intelligence (incl. Robotics)
Hybrid computers
Special Purpose and Application-Based Systems.
Computer Communication Networks.
Simulation and Modeling.
Computer Science.
Programming Techniques.
System analysis
Programming Languages, Compilers, Interpreters.
Processor Architectures.
Logics and Meanings of Programs.
Computation by Abstract Devices.
Computer software- Verification
Computer Science