<--- Back to Details
First PageDocument Content
Bioinformatics / Scientific modeling / Models of computation / Systems biology / Concurrency / Computational biology / Linear temporal logic / Model checking / Agent-based model / Gene regulatory network / Construction and Analysis of Distributed Processes / Petri net
Date: 2016-02-05 19:02:40
Bioinformatics
Scientific modeling
Models of computation
Systems biology
Concurrency
Computational biology
Linear temporal logic
Model checking
Agent-based model
Gene regulatory network
Construction and Analysis of Distributed Processes
Petri net

Computational Modeling, Formal Analysis, and Tools for Systems Biology

Add to Reading List

Source URL: www.eziobartocci.com

Download Document from Source Website

File Size: 3,59 MB

Share Document on Facebook

Similar Documents

Formal methods / Software engineering / Unified Modeling Language / Concurrency / Concurrency control / Construction and Analysis of Distributed Processes / Synchronization / Theoretical computer science / UML tool / Mentor Graphics / Computing

                          

DocID: 1rdud - View Document

Electromagnetism / Psychiatry / Drug rehabilitation / Magnetism / Mental health / Concurrency control / Construction and Analysis of Distributed Processes / Synchronization / Magnet / Recovery approach / Woll

The Magnet Linking Purpose and Practice in a Recovery-Oriented System of Care Pamela Woll, MA, CADP Great Lakes ATTC

DocID: 1pXYJ - View Document

Bioinformatics / Scientific modeling / Models of computation / Systems biology / Concurrency / Computational biology / Linear temporal logic / Model checking / Agent-based model / Gene regulatory network / Construction and Analysis of Distributed Processes / Petri net

Computational Modeling, Formal Analysis, and Tools for Systems Biology

DocID: 1oXjp - View Document

Formal methods / Logic in computer science / Theoretical computer science / Hardware verification languages / Aspect-oriented software development / Formal verification / Model checking / Abstraction / E / Communications protocol / Modularity / Construction and Analysis of Distributed Processes

Modular Verification of Feature-Oriented Software Models Kathi Fisler Department of Computer Science Worcester Polytechnic Institute Worcester, MA, 01609 USA

DocID: 1ozGR - View Document

Construction and Analysis of Distributed Processes / Process calculi / Synchronization / Use of performance-enhancing drugs in sport / Internet privacy / Athletics Canada / Athletics / Privacy policy / Computing / Sports / Concurrency / Concurrency control

LIONS GATE ROAD RUNNERS 2015 MEMBERSHIP FORM Full Name Address Sex:

DocID: 1gp88 - View Document