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)formal verification

Subject

Browse all works related to (Keywords)formal verification.

Home
Subject
(Keywords)formal verification

"7" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Certified programs and proofs

Certified programs and proofs: first international conference ; proceedings

by CPP, Kending

fromLecture Notes in Computer Science

0 Type: Book

Formal methods

Formal methods: proceedings

by FM, Limerick

fromLecture Notes in Computer Science

0 Type: Book

Model checking software

Model checking software: proceedings/ 18th International SPIN Workshop, Sn…

by International SPIN Workshop, Snowbird, Utah

fromLecture Notes in Computer Science

0 Type: Book

Automata, languages and programming

Automata, languages and programming

fromLecture Notes in Computer Science

0 Type: Book

Formal modeling

Formal modeling: actors, open systems, biological systems ; essays…

by Talcott, Carolyn L.

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

Leveraging applications of formal methods, verification, and validation

Leveraging applications of formal methods, verification, and validation

fromLecture Notes in Computer Science

0 Type: Book

Subjects

(Keywords)formal verification (7) (Produktform)Paperback / soft… (7) (Zielgruppe)Research (7) (Keywords)distributed systems (3) (Keywords)formal methods (3) (Keywords)verification (3) Formale Methode (3) (Keywords)Collaboration (2) (Keywords)Crowdsourcing (2) (Keywords)SOA (2) (Keywords)UML (2) (Keywords)User Interfaces (2) (Keywords)Web graph (2) (Keywords)Web services (2) (Keywords)Web-based framework (2) (Keywords)Workflow (2) (Keywords)business process mo… (2) (Keywords)classification (2) (Keywords)cloud computing (2) (Keywords)colored petri nets (2) (Keywords)concept Web (2) (Keywords)embedded systems (2) (Keywords)formal analysis (2) (Keywords)formal modeling (2) (Keywords)formal semantics (2) (Keywords)knowledge discovery (2) (Keywords)meta-tools (2) (Keywords)model checking (2) (Keywords)ontology (2) (Keywords)optimization (2) (Keywords)pervasive computing (2) (Keywords)probabilistic metho… (2) (Keywords)prototyping (2) (Keywords)real-time embedded … (2) (Keywords)real-time systems (2) (Keywords)requirements models (2) (Keywords)scientific workflows (2) (Keywords)security (2) (Keywords)semantic Web (2) (Keywords)social networks (2) (Keywords)software processes (2) (Keywords)systems analysis (2) (Keywords)systems modeling (2) (Keywords)theorem proving (2) (Keywords)timed automata (2) (Keywords)ubiquitous networki… (2) (Keywords)validation (2) (Keywords)wireless sensor net… (2) (VLB-WN)1632: Hardcover, Soft… (2) Verifikation (2) (Keywords)Concurrency (1) (Keywords)Isabelle/HOL (1) (Keywords)Software Development (1) (Keywords)Z specification lan… (1) (Keywords)algebraic structures (1) (Keywords)computer science lo… (1) (Keywords)decision procedures (1) (Keywords)equilibria computat… (1) (Keywords)formal software tes… (1) (Keywords)hybrid systems (1) (Keywords)model-based systems… (1) (Keywords)multi-threading (1) (Keywords)probabilistic models (1) (Keywords)program semantics (1) (Keywords)provable cryptograp… (1) (Keywords)safety-critical sys… (1) (Keywords)satisfiability (1) (Keywords)software verificati… (1) (Keywords)systems security (1) (Keywords)systems validation (1) (Keywords)typechecking (1) Automatisches Beweisverfahren (1) Bioinformatik (1) Formale Spezifikationstechnik (1) HOL (1) Interaktives Beweissystem (1) Isabelle (1) Logischer Schluss (1) Metamodell (1) Middleware (1) Model Checking (1) Nebenläufigkeit (1) Objektorientierung (1) Programmiersprache (1) Programmierung (1) Programmverifikation (1) Simulation (1) Systemmodell (1) Typprüfung (1)

Contributor

CPP, Kending (1) FM, Limerick (1) International SPIN Workshop, … (1) Talcott, Carolyn L. (1)

Publisher

Springer (7)

Year

2011 (5) 2010 (2)

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