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 methods

Subject

Browse all works related to (Keywords)formal methods.

Home
Subject
(Keywords)formal methods

"25" Result

Sort By:

Relevance
Most Views
Top Rated
Newest
Oldest

All
Articles
Books
Manuscripts
Thesiss

Foundations of Security Analysis and Design VI

Foundations of Security Analysis and Design VI: FOSAD Tutorial Lectures

by FOSAD, Bertinoro

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

Agent-oriented software engineering X

Agent-oriented software engineering X: 10th international workshop ; revised selected pa…

by AOSE, Budapest

fromLecture Notes in Computer Science

0 Type: Book

Agent-Oriented Software Engineering X

Agent-Oriented Software Engineering X: 10th International Workshop, AOSE 2009, Budapest,…

by AOSE, Budapest

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

1
2

Subjects

(Keywords)formal methods (25) (Zielgruppe)Research (23) (Produktform)Paperback / soft… (22) (Keywords)systems modeling (7) (Keywords)verification (7) Formale Methode (7) Softwareentwicklung (6) (Keywords)real-time systems (4) (Keywords)theorem proving (4) (VLB-WN)1632: Hardcover, Soft… (4) Modellgetriebene Entwicklung (4) Software Engineering (4) (Keywords)Software Engineering (3) (Keywords)UML (3) (Keywords)distributed systems (3) (Keywords)embedded systems (3) (Keywords)formal verification (3) (Keywords)model checking (3) (Keywords)model transformation (3) Serviceorientierte Architektur (3) Verteiltes System (3) (Keywords)AI logics (2) (Keywords)Collaboration (2) (Keywords)Crowdsourcing (2) (Keywords)Domain Engineering (2) (Keywords)Multi-agent systems (2) (Keywords)SOA (2) (Keywords)Software Product Li… (2) (Keywords)Transformation (2) (Keywords)User Interfaces (2) (Keywords)Web graph (2) (Keywords)Web services (2) (Keywords)Web-based framework (2) (Keywords)Workflow (2) (Keywords)agent oriented spec… (2) (Keywords)anonymity (2) (Keywords)aspect-oriented mod… (2) (Keywords)automata theory (2) (Keywords)business process mo… (2) (Keywords)classification (2) (Keywords)cloud computing (2) (Keywords)colored petri nets (2) (Keywords)concept Web (2) (Keywords)cryptographic secur… (2) (Keywords)data integrity (2) (Keywords)design methodologies (2) (Keywords)fault tolerance (2) (Keywords)formal analysis (2) (Keywords)formal modeling (2) (Keywords)formal semantics (2) (Keywords)grammar systems (2) (Keywords)knowledge discovery (2) (Keywords)logic programming (2) (Keywords)meta-tools (2) (Keywords)methodology (2) (Keywords)model-driven develo… (2) (Keywords)modeling language (2) (Keywords)multiagent organisa… (2) (Keywords)ontology (2) (Keywords)optimization (2) (Keywords)pervasive computing (2) (Keywords)privacy (2) (Keywords)probabilistic metho… (2) (Keywords)program semantics (2) (Keywords)protocol verificati… (2) (Keywords)prototyping (2) (Keywords)reactive systems (2) (Keywords)real-time embedded … (2) (Keywords)requirements models (2) (Keywords)scientific workflows (2) (Keywords)security (2) (Keywords)security policies (2) (Keywords)semantic Web (2) (Keywords)semantics (2) (Keywords)social networks (2) (Keywords)software processes (2) (Keywords)systems analysis (2) (Keywords)timed automata (2) (Keywords)ubiquitous networki… (2) (Keywords)validation (2) (Keywords)wireless sensor net… (2) (Produktform)Electronic book … (2) (Zielgruppe)Professional/prac… (2) Agentenorientiertes Software … (2) Automatisches Beweisverfahren (2) Computer Communication Networ… (2) Computer Science (2) Computersicherheit (2) Datensicherung (2) Echtzeitsystem (2) Electronic Data Processing (2) Génie logiciel -- Congrès (2) Informatique (2) Kryptologie (2) Logic design (2) Model Checking (2) Programmierparadigma (2) Programmverifikation (2) Software engineering -- Congr… (2) Softwaretest (2) Structure logique (2) Theoretische Informatik (2) (Keywords)ACL2 (1) (Keywords)Ada 2005 programming (1) (Keywords)Concurrency (1) (Keywords)Coq (1) (Keywords)HOL (1) (Keywords)Isabelle (1) (Keywords)Machine Learning (1) (Keywords)OCL (1) (Keywords)Partial Evaluation (1) (Keywords)Petri nets (1) (Keywords)Programming languag… (1) (Keywords)Service Engineering (1) (Keywords)Service Oriented Ar… (1) (Keywords)Software Architectu… (1) (Keywords)Systems Modelling (1) (Keywords)Type Systems (1) (Keywords)adaptive middleware (1) (Keywords)ambient calculus (1) (Keywords)brane calculi (1) (Keywords)cellular automata (1) (Keywords)communication syste… (1) (Keywords)complexity theory (1) (Keywords)component-based mid… (1) (Keywords)computational model… (1) (Keywords)computer aided dedu… (1) (Keywords)computer aided veri… (1) (Keywords)computer algebra (1) (Keywords)computer science lo… (1) (Keywords)concurrent computing (1) (Keywords)constraint programm… (1) (Keywords)correctness (1) (Keywords)data mining (1) (Keywords)decidability theory (1) (Keywords)deterministic autom… (1) (Keywords)distributed computi… (1) (Keywords)dynamic networks (1) (Keywords)encodings (1) (Keywords)equilibria computat… (1) (Keywords)formal calculi (1) (Keywords)formal language the… (1) (Keywords)formal languages (1) (Keywords)formal testing (1) (Keywords)functional programm… (1) (Keywords)hybrid systems (1) (Keywords)interactive systems (1) (Keywords)logical reasoning (1) (Keywords)membrane computing (1) (Keywords)meta modeling (1) (Keywords)model-based archite… (1) (Keywords)model-based program… (1) (Keywords)model-based verific… (1) (Keywords)model-driven system… (1) (Keywords)modeling languages (1) (Keywords)mutli-party computa… (1) (Keywords)network computing (1) (Keywords)parallel computing (1) (Keywords)parallel programming (1) (Keywords)process algebra (1) (Keywords)process calculi (1) (Keywords)program correctness (1) (Keywords)program verification (1) (Keywords)programm semantics (1) (Keywords)programming calculi (1) (Keywords)proof assistants (1) (Keywords)real-time computati… (1) (Keywords)reliable systems (1) (Keywords)requirements engine… (1) (Keywords)safety-critical app… (1) (Keywords)safety-critical sys… (1) (Keywords)service-oriented ap… (1) (Keywords)service-oriented bu… (1) (Keywords)service-oriented co… (1) (Keywords)service-oriented sy… (1) (Keywords)software portability (1) (Keywords)software validation (1) (Keywords)software verificati… (1) (Keywords)static verification (1) (Keywords)systems biology (1) (Keywords)systems reliability (1) (Keywords)systems security (1) (Keywords)temporal logic (1) (Keywords)term rewriting syst… (1) (Keywords)termination (1) (Keywords)topic maps (1) (Keywords)web programming (1) (Keywords)zero-knowledge (1) (Produktform)Hardback (1) (VLB-WN)1635: Hardcover, Soft… (1) (VLB-WN)1636: Hardcover, Soft… (1) ADA (1) Ada (1) Ada (Computer program languag… (1) Ada (Computer program languag… (1) Ada (Langage de programmation… (1) Algebraische Methode (1) Anwendungssystem (1) Aspektorientierte Programmier… (1) Berechenbarkeit (1) Beschreibungskomplexität (1) Beweis (1) Beweistheorie (1) Bioinformatik (1) Chiffrement (Informatique) (1) Computer software -- Congress… (1) Computer software -- Congress… (1) Computer software -- Developm… (1) Computer software -- Reliabil… (1) Cytologie (1) Data Mining (1) Data encryption (Computer sci… (1) Data protection (1) Data-Warehouse-Konzept (1) Datenbanksystem (1) Datenmodell (1) Domänenspezifische Programmie… (1) Eingebettetes System (1) Entwurfssprache (1) Fehlertoleranz (1) Génie logiciel (1) HOL (1) Information systems (1) Informationssystem (1) Intelligence artificielle (1) Kommunikationssystem (1) Komplexität (1) Komplexitätstheorie (1) Komponente (1) Kryptosystem (1) Künstliche Intelligenz (1) Lac Beauport <2010> (1) Limburg <Lahn, 2011> (1) Logiciels -- Congrès. -- Fiab… (1) Mehrprozessorsystem (1) Metamodell (1) Metaprogrammierung (1) Mobile computing (1) Natural Computing (1) Nebenläufigkeit (1) Netzwerktopologie (1) Objektorientierte Programmier… (1) Ontologie (1) Pi-Kalkül (1) Programmanalyse (1) Programmsynthese (1) Programmtransformation (1) Protection de l'information (… (1) Prozessalgebra (1) Quantencomputer (1) Requirements engineering (1) SDL (1) Selbsteinstellendes System (1) Sicherheitskritisches System (1) Soft computing (1) Softwarearchitektur (1) Softwaresystem (1) Stabilisierung (1) Systementwicklung (1) Uml (1) Verifikation (1) Web services (1) Zuverlässigkeit (1) artificial intelligence (1) logische Programmierung (1)

Contributor

AOSE, Budapest (2) FOSAD, Bertinoro (2) AMAST, Lac Beauport (1) Ada Europe (1) Aman, Bogdan (1) CADE, Breslau (1) Ciobanu, Gabriel (1) DCFS, Limburg a. d. Lahn (1) FMOODS, Reykjavík (1) ICTAC, Johannesburg (1) ITP, Berg-en-Dal) (1) International Conference on R… (1) International Federation for … (1) LOPSTR, Hagenberg im Mühlkreis (1) MEDI, Óbidos) (1) MODELS, Oslo) (1) MoChArt, Atlanta, Ga.) (1) SAM, Oslo) (1) SC, Zürich (1) SDL Forum Society (1) SSS, Grenoble (1) TAP, Zürich (1) UC, Turku (1)

Publisher

Springer (23) Springer Berlin Heidelberg (2)

Year

2011 (23) 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