Home
Books
Articles
Theses
Journals
Blog
Browse
- Romance
- Kids
- Comics
- Classics
- Ebooks

Home
Books
Articles
Theses
Blog
Books
Users

Books

Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks
Romance
Keeds
Comics
Classics
Ebboks

Account

Log in
Sign Up

(Keywords)model checking

Subject

Browse all works related to (Keywords)model checking.

Home
Subject
(Keywords)model checking

"22" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Software engineering, business continuity, and education

Software engineering, business continuity, and education: international conferences ; proceedings

by FGIT, Jeju, ASEA, Jeju

fromCommunications in computer and information science

0 Type: Book

Testing Software and Systems

Testing Software and Systems: 23rd IFIP WG 6.1 International Conference, ICTSS …

by International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, ICTSS, Paris)

fromLecture Notes in Computer Science

0 Type: Book

Software engineering and formal methods

Software engineering and formal methods: 9th international conference ; proceedings

by SEFM, Montevideo

fromLecture Notes in Computer Science

0 Type: Book

Information computing and applications

Information computing and applications

fromCommunications in computer and information science

0 Type: Book

Integrating system and software modeling

Integrating system and software modeling: revised papers

by SDL, Toulouse)

fromLecture Notes in Computer Science

0 Type: Book

Model driven engineering languages and systems

Model driven engineering languages and systems: 14th international conference ; proceedings

by MODELS, Wellington

fromLecture Notes in Computer Science

0 Type: Book

Computer safety, reliability, and security

Computer safety, reliability, and security: 30th international conference ; proceedings

by SAFECOMP, Neapel

fromLecture Notes in Computer Science

0 Type: Book

Formal modeling and analysis of timed systems

Formal modeling and analysis of timed systems: 9th international conference ; proceedings

by FORMATS, Alborg

fromLecture Notes in Computer Science

0 Type: Book

Computer aided verification

Computer aided verification: 23rd international conference ; proceedings

by CAV, Snowbird, Utah

fromLecture Notes in Computer Science

0 Type: Book

Concurrency theory

Concurrency theory: 22nd international conference ; proceedings

by CONCUR, Aachen

fromLecture Notes in Computer Science

0 Type: Book

Static analysis

Static analysis: 18th international symposium ; proceedings

by SAS, Venedig

fromLecture Notes in Computer Science

0 Type: Book

Logic and games on automatic structures

Logic and games on automatic structures: playing with quantifiers and decompositions

by Kaiser, Łukasz

fromLecture Notes in Computer Science

0 Type: Book

Formal techniques for distributed systems

Formal techniques for distributed systems: joint 13th IFIP WG 6.1 international conference a…

by International Federation for Information Processing, Working Group Architecture and Protocols for Computer Networks, FMOODS, Reykjavík

fromLecture Notes in Computer Science

0 Type: Book

Languages, methodologies and development tools for multi-agent systems

Languages, methodologies and development tools for multi-agent systems: third international workshop ; revised selected p…

fromLecture Notes in Computer Science

0 Type: Book

Languages, Methodologies, and Development Tools for Multi-Agent Systems

Languages, Methodologies, and Development Tools for Multi-Agent Systems: Third International Workshop, LADS 2010, Lyon, Fr…

fromLecture Notes in Computer Science

0 Type: Book

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

fromLecture Notes in Computer Science

0 Type: Book

Theory and practice of computer science

Theory and practice of computer science: proceedings

by SOFSEM, Vysoké Tatry- Nový Smokovec

fromLecture Notes in Computer Science

0 Type: Book

Applications and theory of Petri nets

Applications and theory of Petri nets: 32nd international conference ; proceedings

by PETRI NETS, Newcastle-upon-Tyne

fromLecture Notes in Computer Science

0 Type: Book

Formal methods for components and objects

Formal methods for components and objects: 9th international symposium ; revised papers

fromLecture Notes in Computer Science

0 Type: Book

Information computing and applications

Information computing and applications

fromCommunications in computer and information science

0 Type: Book

1
2

Subjects

(Keywords)model checking (22) (Zielgruppe)Research (22) (Produktform)Paperback / soft… (20) (VLB-WN)1632: Hardcover, Soft… (9) (Keywords)cloud computing (6) Formale Methode (6) (Keywords)Web services (5) (Keywords)semantic Web (5) (Keywords)verification (5) (Keywords)UML (4) (Keywords)distributed systems (4) (Keywords)embedded systems (4) (Keywords)timed automata (4) Model Checking (4) Softwaretest (4) (Keywords)formal methods (3) (Keywords)formal modeling (3) (Keywords)systems analysis (3) Software Engineering (3) Verifikation (3) (Keywords)Collaboration (2) (Keywords)Crowdsourcing (2) (Keywords)SOA (2) (Keywords)Software Product Li… (2) (Keywords)User Interfaces (2) (Keywords)Web graph (2) (Keywords)Web service (2) (Keywords)Web-based framework (2) (Keywords)Workflow (2) (Keywords)bilingual teaching (2) (Keywords)business process mo… (2) (Keywords)classification (2) (Keywords)colored petri nets (2) (Keywords)concept Web (2) (Keywords)constraints (2) (Keywords)distributed computi… (2) (Keywords)formal analysis (2) (Keywords)formal semantics (2) (Keywords)formal verification (2) (Keywords)genetic algorithm (2) (Keywords)knowledge discovery (2) (Keywords)meta-tools (2) (Keywords)ontology (2) (Keywords)optimization (2) (Keywords)pervasive computing (2) (Keywords)probabilistic metho… (2) (Keywords)process algebra (2) (Keywords)prototyping (2) (Keywords)real-time embedded … (2) (Keywords)real-time systems (2) (Keywords)requirements models (2) (Keywords)safety-critical sys… (2) (Keywords)scientific workflows (2) (Keywords)security (2) (Keywords)social networks (2) (Keywords)software maintenance (2) (Keywords)software processes (2) (Keywords)software verificati… (2) (Keywords)systems modeling (2) (Keywords)theorem proving (2) (Keywords)ubiquitous computing (2) (Keywords)ubiquitous networki… (2) (Keywords)validation (2) (Keywords)wireless sensor net… (2) (Produktform)Electronic book … (2) (VLB-WN)1636: Hardcover, Soft… (2) Komponente (2) Mehragentensystem (2) Modellgetriebene Entwicklung (2) Programmanalyse (2) Programmverifikation (2) Serviceorientierte Architektur (2) Softwareentwicklung (2) Zuverlässigkeit (2) (Keywords)Algebraic Specifica… (1) (Keywords)BPEL (1) (Keywords)Computer-Supported … (1) (Keywords)Concurrency (1) (Keywords)Generalized quantif… (1) (Keywords)Imperfect informati… (1) (Keywords)Linux (1) (Keywords)Maude (1) (Keywords)OWL (1) (Keywords)Petri nets (1) (Keywords)Reliability (1) (Keywords)Service Composition (1) (Keywords)Simulation (1) (Keywords)Software Engineering (1) (Keywords)ad-hoc networks (1) (Keywords)aerospace systems (1) (Keywords)agent-based modeling (1) (Keywords)application specifi… (1) (Keywords)aspect-oriented mod… (1) (Keywords)automata (1) (Keywords)automated verificat… (1) (Keywords)automatic testing (1) (Keywords)automatic translati… (1) (Keywords)behavioral specific… (1) (Keywords)bounded language (1) (Keywords)bounded model check… (1) (Keywords)business informatio… (1) (Keywords)case analysis (1) (Keywords)combined domain (1) (Keywords)component-based sys… (1) (Keywords)computational geome… (1) (Keywords)concurrent computing (1) (Keywords)concurrent processes (1) (Keywords)constraint automata (1) (Keywords)context-free langua… (1) (Keywords)control systems (1) (Keywords)databases (1) (Keywords)decision procedure (1) (Keywords)dependability (1) (Keywords)domain-specific lan… (1) (Keywords)dynamic code analys… (1) (Keywords)equational theory (1) (Keywords)event-B (1) (Keywords)fault injection (1) (Keywords)first order logic (1) (Keywords)formal specificatio… (1) (Keywords)formatl verification (1) (Keywords)game theory (1) (Keywords)global software dev… (1) (Keywords)integration testing… (1) (Keywords)interoperability te… (1) (Keywords)lightweight formal … (1) (Keywords)logic programming (1) (Keywords)model-based testing (1) (Keywords)modeling languages (1) (Keywords)mutli-party computa… (1) (Keywords)network computing (1) (Keywords)open systems (1) (Keywords)parallel processes (1) (Keywords)parameterised verif… (1) (Keywords)performance analysis (1) (Keywords)performance evaluat… (1) (Keywords)probabilistic autom… (1) (Keywords)program analysis (1) (Keywords)program verification (1) (Keywords)program verificatio… (1) (Keywords)reactive systems (1) (Keywords)requirements engine… (1) (Keywords)rewrite theory (1) (Keywords)risk managment (1) (Keywords)run-time verificati… (1) (Keywords)satisfiability (1) (Keywords)semantics (1) (Keywords)sensor networks (1) (Keywords)software quality (1) (Keywords)software testing (1) (Keywords)statis program anal… (1) (Keywords)structural induction (1) (Keywords)symbolic techniques (1) (Keywords)symmetry reduction (1) (Keywords)systems validation (1) (Keywords)temporal logic (1) (Keywords)temporal logics (1) (Keywords)test case generation (1) (Keywords)test cases generati… (1) (Keywords)test management (1) (Keywords)unified modeling la… (1) (Keywords)usage models (1) (Keywords)vulnerabilities det… (1) (Keywords)web services testing (1) (Keywords)wireless applicatio… (1) (Keywords)wireless networks (1) Anwendungssystem (1) Apprentissage -- Congrès (1) Automat (1) Business -- Congresses. -- Da… (1) Business -- Data processing (1) Computer Science (1) Computersicherheit (1) Data recovery (Computer scien… (1) Data recovery (Computer scien… (1) Debugging (1) Digital computer simulation (1) Domänenspezifische Programmie… (1) Echtzeitsystem (1) Education (1) Education -- Congresses (1) Electronic Data Processing (1) Entscheidungsverfahren (1) Entwurfssprache (1) Fehlertoleranz (1) Gestion -- Congrès. -- Inform… (1) Großes Datenbanksystem (1) Génie logiciel -- Congrès (1) Hybrides System (1) Information systems (1) Informatique (1) Integrationstest (1) Intelligence artificielle (1) Kommunikationssystem (1) Komplexes System (1) Kryptologie (1) Learning (1) Learning -- Congresses (1) Leistungsbewertung (1) Lindström-Quantor (1) Logic design (1) Mathematische Logik (1) Modellbasiertes Testen (1) Modelltransformation (1) Nebenläufigkeit (1) Objektorientierung (1) Operationelles Risiko (1) Petri-Netz (1) Risikoanalyse (1) Risikomanagement (1) Récupération des données (Inf… (1) SDL (1) Sicherheitskritisches System (1) Simulation (1) Simulation par ordinateur (1) Software engineering -- Congr… (1) Softwarearchitektur (1) Softwarespezifikation (1) Softwaresystem (1) Spezifikation (1) Spieltheorie (1) Statische Analyse (1) Structure logique (1) Systementwicklung (1) Testen (1) Testmustergenerierung (1) Theoretische Informatik (1) Trusted Computing (1) Uml (1) Verteiltes System (1) Web services (1) Wiederherstellung (1) Zeitbehafteter Automat (1) Zeitdiskretes System (1) artificial intelligence (1) computer simulation (1) data processing (1)

Contributor

International Federation for … (2) LADS, Lyon (2) ASEA, Jeju (1) CAV, Snowbird, Utah (1) CONCUR, Aachen (1) FGIT, Jeju (1) FMCO, Graz (1) FMOODS, Reykjavík (1) FORMATS, Alborg (1) ICTSS, Paris) (1) International Conference on F… (1) Kaiser, Łukasz (1) MODELS, Wellington (1) PETRI NETS, Newcastle-upon-Ty… (1) SAFECOMP, Neapel (1) SAS, Venedig (1) SDL, Toulouse) (1) SEFM, Montevideo (1) SOFSEM, Vysoké Tatry- Nový Sm… (1)

Publisher

Springer (20) Springer Berlin Heidelberg (2)

Year

2011 (19) 2010 (3)

Clear filters

↑

Wise Library has undergone mare trials than one human woman can carry in her heart. Though she's now been granted the powers.

Most Viewed
Top Rated
Home
Blog

All rights reserved for Wise Library Site 2008-2024

Hot News

Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys. Old but Gold: Oldest books in oldest librarys.

Contoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki PelajarContoh Soft Skills yang Wajib Dimiliki Pelajar

15 May 2020 8:00 am
Wajib Dimiliki Pelajar

15 May 2020 8:00 am
5 Reasons Why Breakfast Is The Most Important Meal of The Day

15 May 2020 8:00 am

Filter

Advance Search

Author

Publisher

Work Type