Description
Metadata
Settings
owl:sameAs
Inference Rule:
b3s
b3sifp
facets
http://www.w3.org/2002/07/owl#
ldp
oplweb
skos-trans
virtrdf-label
None
About:
dbkwik:resource/6rtchO8QZOwb0xqq7pHkwQ==
Sponge
Permalink
An Entity of Type :
owl:Thing
, within Data Space :
134.155.108.49:8890
associated with source
dataset(s)
Attributes
Values
dbkwik:formalmetho...iPageUsesTemplate
dbkwik:resource/6rtchO8QZOwb0xqq7pHkwQ==
dbkwik:resource/P1m0SSkCttYBeqyQkIZ4wg==
Microprocessors
Transputer
Programming languages
ABZ 2012
Italy
Z User Meeting
Industrial-Strength Formal Methods in Practice
Lero
FMweek
The Netherlands
FM2009
Springer
Occam
Formal Methods Europe Wiki
Overture
dbkwik:resource/IysSvo9NH58ooRM7kSIlCQ==
Engineering
dbkwik:resource/VKw8C9hDqmglyLWOtBIdMA==
FM2011
ICFEM2011
Formal Methods Europe
United Kingdom
Abstract State Machines
Peter Landin
SRI FormalWare Tools
Centre for Applied Formal Methods
ABZ 2010
Formal methods
Prentice Hall International Series in Computer Science
dbkwik:resource/ca9Y-k82W1mForhVMQOg2Q==
Systems
dbkwik:resource/-sbC4xnnI93J6MgOEuu9-Q==
ABZ
PHISCS books
Publications
Photographs
Asia
North America
dbkwik:resource/hQvLQvawISRkNIfYltZwQA==
dbkwik:resource/Lw1BDY_-QqiI_S5g8WzJHg==
dbkwik:resource/SoZa7Oak6n6GDAgV4l30rA==
B-Method
ABZ 2014
France
TLA
Museophile Limited
The Turing Guide
REDO
Applications of Formal Methods
Theorem provers
HOL
Formal specification
SAFEMOS
dbkwik:resource/7UwQZFMSo-Mg4ek8mJl3YQ==
FM05 GC6 Workshop
FMBoK
dbkwik:resource/6rtchO8QZOwb0xqq7pHkwQ==
dbkwik:resource/bWtzrMzFjEdlZcGWgCQk2A==
dbkwik:resource/URgzG3fQRNm6OZaEG3iPew==
Systems engineering
dbkwik:resource/WLdaM-buw58FVf9P2IZejw==
dbkwik:resource/xSwXfBCFqmAZnqMSw7-avg==
Organizations
Austria
COMPULOG
ABZ 2016
ProCoS I
Formal Methods Wiki announcement
Wikipedia
Alloy
Event-B
Artificial Intelligence
Centre for Software Engineering
VLfm announcement
Meetings
ProCoS-WG
Object-Z
Z/EVES
Companies
Z notation
Operational Semantics
Z User Group
Software engineering
Projects
FACIT
Safety-critical systems
Atelier B
dbkwik:resource/EvdlvJ_O8aPI5gUYP0sd_A==
A Heap of Problems
Concurrent systems
Documents
CZT
Formal Specification and Documentation using Z
FME-SoE
Jonathan Bowen
Safety-Critical Systems Club
PVS
CCS
◂◂ First
◂ Prev
Next ▸
Last ▸▸
Page 1 of 2
Go
Alternative Linked Data Views:
ODE
Raw Data in:
CXML
|
CSV
| RDF (
N-Triples
N3/Turtle
JSON
XML
) | OData (
Atom
JSON
) | Microdata (
JSON
HTML
) |
JSON-LD
About
OpenLink Virtuoso
version 07.20.3217, on Linux (x86_64-pc-linux-gnu), Standard Edition
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2012 OpenLink Software