About: Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: Integrating Topological Proofs with Model Checking to Instrument Iterative Design Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : wasabi.inria.fr associated with source document(s)

Attributes	Values
value	Integrating Topological Proofs with Model Checking to Instrument Iterative Design
Subject	Design Systems engineering Logic in computer science Model checking
part of	Integrating Topological Proofs with Model Checking to Instrument Iterative Design
is hasSource of	covid:ann/target/246a103dc9eb2659e8fd8e2267426bba43207c95 covid:ann/target/35f641fdd9eba8ea5f6513d790cf078223c4af51 covid:ann/target/baecb1c617c88f49873ac8c670a6fc54cef11286 covid:ann/target/00bfdac455b8fd3c5b932313d24c3adad99e3410 covid:ann/target/8a214ac19f8752fbe4ca76a88ecdf8f795921fd1 covid:ann/target/902f831fefc1006f9428e68c3bd9584b6cc5bfac covid:ann/target/b535971eb8021589177c76d7c0137872b38cd6f3 covid:ann/target/a08e89b5a41c90e449d4b3c70d90dab6b53f0bb5 covid:ann/target/87af345a5ca329133748228a2044b2ae3d48d96e covid:ann/target/678ade159e8ceb41f71637abf1aceee6d7737e80 covid:ann/target/328eb20e2f0bddc4a40cd76f57d77b36864b9589 covid:ann/target/9536b14fb01c2a86a43142f6842532b3867f64ed covid:ann/target/7f70a190fc64b72975638886f9b9ae8fab713df3 covid:ann/target/eab0919f33464c88f44df86334682d94022673d5
is resource representing a document's title of	Integrating Topological Proofs with Model Checking to Instrument Iterative Design

Faceted Search & Find service v1.13.91 as of Mar 24 2020

Alternative Linked Data Documents: Sponger | ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3229 as of Jul 10 2020, on Linux (x86_64-pc-linux-gnu), Single-Server Edition (94 GB total memory)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software