Automatically assigned DDC number: 005131

Manually assigned DDC number: 005131

Number of references: 16

Title: Automated Deductive Analysis Of Time Critical Systems Based On Methodical Formal Specification

Author:

Subject: Angelo Gargantini Automated Deductive Analysis Of Time Critical Systems Based On Methodical Formal Specification

Description: The paper [CH85] presents a mathematical model of real time systems behavior, suitable for requirements specification, analysis and proof of properties. Content. Time is considered, almost always, a discrete set, but it may be uncountable (a the set R). Events (as sequence of occurrences of a certain event) are modeled by a function time from N to Time. This function binds the i-th occurrence of an event to its time of occurrence, and it has some restrictions (increasing ...). More than one occurrence at the same time of an event are allowed. Moreover the non Zeno requirement is modeled by a simple requirement of this function ( lim n!1 time(e)(n) = +1). This requirement prevents an event from occurring in nitely often during a finite delay. Variables are introduced. They are piecewise constant, because their assignment to a value is an event. Periodic events (with fixed and variable period) are defined as well. They define counters of events too. There are counters of two types: lcoun...

Contributor: The Pennsylvania State University CiteSeer Archives

Publisher: unknown

Date: 2000-08-07

Format: ps

Identifier: http://citeseer.ist.psu.edu/373933.html

Source: http://www.elet.polimi.it/Users/DEI/Sections/Compeng/Angelo.Gargantini/research/TVS/trio_pvs_report.ps.gz

Language: en

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Relation:

Rights: unrestricted

Graph

<?xml   version="1.0"   encoding="UTF-8"?>

<references_metadata>

      <rec   ID="/157684.html"   Type="inproceedings"   CiteSeer_Book="Proceedings   of   the   International   Workshop   on   Hybrid   and   RealTime   Systems   HART97"   CiteSeer_Volume=""   Title="Verifying   Hybrid   Systems   Modeled   as   Timed   Automata:   {A}   Case   Study,">

            <identifier   Org="ISBN:0792383168"   Paper_ID="/157684.html"   Extracted="0792383168"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:0817642072"   Paper_ID="/157684.html"   Extracted="0817642072"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:158113262X"   Paper_ID="/157684.html"   Extracted="158113262X"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/157684.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/157684.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/157684.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/157684.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540643583"   Paper_ID="/157684.html"   Extracted="3540643583"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.14285714285714285"   />

            <identifier   Org="ISBN:3540648968"   Paper_ID="/157684.html"   Extracted="3540648968"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.14285714285714285"   />

      </rec>

      <rec   ID="/56161.html"   Type="inproceedings"   CiteSeer_Book="Theorem   Proving   in   Higher   Order   Logics   10th   International   Conference   TPHOLs   97"   CiteSeer_Volume=""   Title="Human-Style   Theorem   Proving   Using   {PVS},">

            <identifier   Org="ISBN:158113262X"   Paper_ID="/56161.html"   Extracted="158113262X"   />

            <identifier   Org="ISBN:354040709X"   Paper_ID="/56161.html"   Extracted="354040709X"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/56161.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.5"   />

            <identifier   Org="ISBN:3540649875"   Paper_ID="/56161.html"   Extracted="3540649875"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.5"   />

      </rec>

      <rec   ID="/7519.html"   Type="inproceedings"   CiteSeer_Book="User   Interfaces   for   Theorem   Provers"   CiteSeer_Volume=""   Title="{TAME:   A   {PVS}}   Interface   to   Simplify   Proofs   for   Automata   Models,">

            <identifier   Org="ISBN:0521771641"   Paper_ID="/7519.html"   Extracted="0521771641"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:0792379497"   Paper_ID="/7519.html"   Extracted="0792379497"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:158113262X"   Paper_ID="/7519.html"   Extracted="158113262X"   />

            <identifier   Org="ISBN:354020461X"   Paper_ID="/7519.html"   Extracted="354020461X"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540427163"   Paper_ID="/7519.html"   Extracted="3540427163"   DDC="629.8/0285/63"   Normalized_DDC="6298028563"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/7519.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/7519.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/7519.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/7519.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/7519.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540710655"   Paper_ID="/7519.html"   Extracted="3540710655"   DDC="006.3/33"   Normalized_DDC="006333"   Normalized_Weight="0.1111111111111111"   />

            <identifier   Org="ISBN:354085777X"   Paper_ID="/7519.html"   Extracted="354085777X"   />

      </rec>

      <rec   ID="/315693.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="16"   Title="An   Old-Fashioned   Recipe   for   Real   Time,">

            <identifier   Org="ISBN:0780331990"   Paper_ID="/315693.html"   Extracted="0780331990"   />

            <identifier   Org="ISBN:0816625719"   Paper_ID="/315693.html"   Extracted="0816625719"   DDC="303.48/33"   Normalized_DDC="3034833"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:0821806807"   Paper_ID="/315693.html"   Extracted="0821806807"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540308814"   Paper_ID="/315693.html"   Extracted="3540308814"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540410554"   Paper_ID="/315693.html"   Extracted="3540410554"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540417117"   Paper_ID="/315693.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540437878"   Paper_ID="/315693.html"   Extracted="3540437878"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/315693.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540558225"   Paper_ID="/315693.html"   Extracted="3540558225"   DDC="004/.35"   Normalized_DDC="00435"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540563202"   Paper_ID="/315693.html"   Extracted="3540563202"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540564969"   Paper_ID="/315693.html"   Extracted="3540564969"   DDC="511.3/0285"   Normalized_DDC="51130285"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540582010"   Paper_ID="/315693.html"   Extracted="3540582010"   DDC="001.64"   Normalized_DDC="00164"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540584684"   Paper_ID="/315693.html"   Extracted="3540584684"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/315693.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/315693.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/315693.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540651934"   Paper_ID="/315693.html"   Extracted="3540651934"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540662022"   Paper_ID="/315693.html"   Extracted="3540662022"   DDC="004.24"   Normalized_DDC="00424"   Normalized_Weight="0.05555555555555555"   />

            <identifier   Org="ISBN:3540672826"   Paper_ID="/315693.html"   Extracted="3540672826"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.05555555555555555"   />

      </rec>

      <rec   ID="/314638.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="3"   Title="A   graphical   interval   logic   for   specifying   concurrent   systems,">

            <identifier   Org="ISBN:0195104277"   Paper_ID="/314638.html"   Extracted="0195104277"   DDC="511.3"   Normalized_DDC="5113"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0321228626"   Paper_ID="/314638.html"   Extracted="0321228626"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:0769511252"   Paper_ID="/314638.html"   Extracted="0769511252"   />

            <identifier   Org="ISBN:1402081480"   Paper_ID="/314638.html"   Extracted="1402081480"   DDC="004.256"   Normalized_DDC="004256"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/314638.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:1586035762"   Paper_ID="/314638.html"   Extracted="1586035762"   />

            <identifier   Org="ISBN:3540007873"   Paper_ID="/314638.html"   Extracted="3540007873"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540281959"   Paper_ID="/314638.html"   Extracted="3540281959"   DDC="005.1/4"   Normalized_DDC="00514"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540410309"   Paper_ID="/314638.html"   Extracted="3540410309"   DDC="005.2/76"   Normalized_DDC="005276"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540416552"   Paper_ID="/314638.html"   Extracted="3540416552"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540426078"   Paper_ID="/314638.html"   Extracted="3540426078"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540590471"   Paper_ID="/314638.html"   Extracted="3540590471"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.1"   />

            <identifier   Org="ISBN:3540929657"   Paper_ID="/314638.html"   Extracted="3540929657"   />

            <identifier   Org="ISBN:4930813670"   Paper_ID="/314638.html"   Extracted="4930813670"   />

            <identifier   Org="ISBN:8480214341"   Paper_ID="/314638.html"   Extracted="8480214341"   />

            <identifier   Org="ISBN:981024424X"   Paper_ID="/314638.html"   Extracted="981024424X"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.1"   />

      </rec>

      <rec   ID="/70578.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="23"   Title="Formal   Requirements   Analysis   of   an   Avionics   Control   System,">

            <identifier   Org="ISBN:0131469134"   Paper_ID="/70578.html"   Extracted="0131469134"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:0769524621"   Paper_ID="/70578.html"   Extracted="0769524621"   />

            <identifier   Org="ISBN:354065643X"   Paper_ID="/70578.html"   Extracted="354065643X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540657347"   Paper_ID="/70578.html"   Extracted="3540657347"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/70578.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

            <identifier   Org="ISBN:3540665889"   Paper_ID="/70578.html"   Extracted="3540665889"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.2"   />

      </rec>

      <rec   ID="/46221.html"   Type="inproceedings"   CiteSeer_Book="Theorem   Proving   in   Higher   Order   Logics   9th   International   Conference   TPHOLs   96"   CiteSeer_Volume=""   Title="Elements   of   Mathematical   Analysis   in   {PVS},">

            <identifier   Org="ISBN:1568811454"   Paper_ID="/46221.html"   Extracted="1568811454"   DDC="512/.0285"   Normalized_DDC="5120285"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1581130732"   Paper_ID="/46221.html"   Extracted="1581130732"   />

            <identifier   Org="ISBN:354014031X"   Paper_ID="/46221.html"   Extracted="354014031X"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540212590"   Paper_ID="/46221.html"   Extracted="3540212590"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540213775"   Paper_ID="/46221.html"   Extracted="3540213775"   DDC="004.0151"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540283722"   Paper_ID="/46221.html"   Extracted="3540283722"   />

            <identifier   Org="ISBN:354042525X"   Paper_ID="/46221.html"   Extracted="354042525X"   DDC="004/.01/51"   Normalized_DDC="0040151"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540425411"   Paper_ID="/46221.html"   Extracted="3540425411"   DDC="621.39/5"   Normalized_DDC="621395"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540616489"   Paper_ID="/46221.html"   Extracted="3540616489"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540638881"   Paper_ID="/46221.html"   Extracted="3540638881"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540662227"   Paper_ID="/46221.html"   Extracted="3540662227"   DDC="006.3/3"   Normalized_DDC="00633"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540678638"   Paper_ID="/46221.html"   Extracted="3540678638"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540766480"   Paper_ID="/46221.html"   Extracted="3540766480"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

      </rec>

      <rec   ID="/562724.html"   Type="article"   CiteSeer_Book="Information   and   Computation"   CiteSeer_Volume="150"   Title="Dealing   with   Zero-Time   Transitions   in   Axiom   Systems,">

            <identifier   Org="ISBN:3540255761"   Paper_ID="/562724.html"   Extracted="3540255761"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="1.0"   />

      </rec>

      <rec   ID="/430308.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="5"   Title="Automated   consistency   checking   of   requirements   specifications,">

            <identifier   Org="ISBN:0769510868"   Paper_ID="/430308.html"   Extracted="0769510868"   DDC="620/.001/171"   Normalized_DDC="620001171"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:0780339800"   Paper_ID="/430308.html"   Extracted="0780339800"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/430308.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/430308.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:1591403758"   Paper_ID="/430308.html"   Extracted="1591403758"   DDC="003.3"   Normalized_DDC="0033"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540201262"   Paper_ID="/430308.html"   Extracted="3540201262"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540421033"   Paper_ID="/430308.html"   Extracted="3540421033"   DDC="005.8"   Normalized_DDC="0058"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540439307"   Paper_ID="/430308.html"   Extracted="3540439307"   DDC="005.115"   Normalized_DDC="005115"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/430308.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/430308.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/430308.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540665382"   Paper_ID="/430308.html"   Extracted="3540665382"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3540691472"   Paper_ID="/430308.html"   Extracted="3540691472"   />

            <identifier   Org="ISBN:3540740333"   Paper_ID="/430308.html"   Extracted="3540740333"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.09090909090909091"   />

            <identifier   Org="ISBN:3642005926"   Paper_ID="/430308.html"   Extracted="3642005926"   />

      </rec>

      <rec   ID="/529251.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="The   Generalized   Railroad   Crossing:   {A}   Case   Study   in   Formal   Verification   of   Real-Time   Systems,">

            <identifier   Org="ISBN:0769503063"   Paper_ID="/529251.html"   Extracted="0769503063"   />

            <identifier   Org="ISBN:0780331990"   Paper_ID="/529251.html"   Extracted="0780331990"   />

            <identifier   Org="ISBN:0780338014"   Paper_ID="/529251.html"   Extracted="0780338014"   />

            <identifier   Org="ISBN:0818666005"   Paper_ID="/529251.html"   Extracted="0818666005"   />

            <identifier   Org="ISBN:0818674482"   Paper_ID="/529251.html"   Extracted="0818674482"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818677406"   Paper_ID="/529251.html"   Extracted="0818677406"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:1586033425"   Paper_ID="/529251.html"   Extracted="1586033425"   DDC="620/.00285/5"   Normalized_DDC="620002855"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540000100"   Paper_ID="/529251.html"   Extracted="3540000100"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540008985"   Paper_ID="/529251.html"   Extracted="3540008985"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540231358"   Paper_ID="/529251.html"   Extracted="3540231358"   DDC="005.10943"   Normalized_DDC="00510943"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540253041"   Paper_ID="/529251.html"   Extracted="3540253041"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354040709X"   Paper_ID="/529251.html"   Extracted="354040709X"   />

            <identifier   Org="ISBN:3540601171"   Paper_ID="/529251.html"   Extracted="3540601171"   DDC="004.2/0151"   Normalized_DDC="00420151"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354061155X"   Paper_ID="/529251.html"   Extracted="354061155X"   DDC="629.8/9"   Normalized_DDC="62989"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:354062600X"   Paper_ID="/529251.html"   Extracted="354062600X"   DDC="004.1/9"   Normalized_DDC="00419"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540630104"   Paper_ID="/529251.html"   Extracted="3540630104"   DDC="005.2/73"   Normalized_DDC="005273"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540633790"   Paper_ID="/529251.html"   Extracted="3540633790"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540664637"   Paper_ID="/529251.html"   Extracted="3540664637"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540749837"   Paper_ID="/529251.html"   Extracted="3540749837"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/44926.html"   Type="article"   CiteSeer_Book="Software   Engineering"   CiteSeer_Volume="18"   Title="Programming   and   Verifying   Real-Time   Systems   by   Means   of   the   Synchronous   Data-Flow   Language   {LUSTRE},">

            <identifier   Org="ISBN:0198523823"   Paper_ID="/44926.html"   Extracted="0198523823"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0471184063"   Paper_ID="/44926.html"   Extracted="0471184063"   DDC="658.4038"   Normalized_DDC="6584038"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:0780399757"   Paper_ID="/44926.html"   Extracted="0780399757"   />

            <identifier   Org="ISBN:1402065841"   Paper_ID="/44926.html"   Extracted="1402065841"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1558609253"   Paper_ID="/44926.html"   Extracted="1558609253"   DDC="004.16"   Normalized_DDC="00416"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:1565550986"   Paper_ID="/44926.html"   Extracted="1565550986"   />

            <identifier   Org="ISBN:1581137427"   Paper_ID="/44926.html"   Extracted="1581137427"   />

            <identifier   Org="ISBN:159593605X"   Paper_ID="/44926.html"   Extracted="159593605X"   />

            <identifier   Org="ISBN:3540417117"   Paper_ID="/44926.html"   Extracted="3540417117"   DDC="658.5"   Normalized_DDC="6585"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540426736"   Paper_ID="/44926.html"   Extracted="3540426736"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540584269"   Paper_ID="/44926.html"   Extracted="3540584269"   DDC="004.2"   Normalized_DDC="0042"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540588671"   Paper_ID="/44926.html"   Extracted="3540588671"   DDC="670.42/7"   Normalized_DDC="670427"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540600450"   Paper_ID="/44926.html"   Extracted="3540600450"   DDC="004.2/4/015113"   Normalized_DDC="00424015113"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540619291"   Paper_ID="/44926.html"   Extracted="3540619291"   DDC="621.1/83"   Normalized_DDC="621183"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540664599"   Paper_ID="/44926.html"   Extracted="3540664599"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/44926.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.08333333333333333"   />

            <identifier   Org="ISBN:3540712887"   Paper_ID="/44926.html"   Extracted="3540712887"   />

      </rec>

      <rec   ID="/8705.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="A   Theorem   Prover   for   {ASTRAL},">

            <identifier   Org="ISBN:3540660100"   Paper_ID="/8705.html"   Extracted="3540660100"   />

      </rec>

      <rec   ID="/498773.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Programming   Languages   and   Systems"   CiteSeer_Volume="14"   Title="A   Model   Parametric   Real-Time   Logic,">

            <identifier   Org="ISBN:0444892087"   Paper_ID="/498773.html"   Extracted="0444892087"   DDC="621.39/2"   Normalized_DDC="621392"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818623209"   Paper_ID="/498773.html"   Extracted="0818623209"   />

            <identifier   Org="ISBN:0818626852"   Paper_ID="/498773.html"   Extracted="0818626852"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:0818680024"   Paper_ID="/498773.html"   Extracted="0818680024"   DDC="620/.0028"   Normalized_DDC="6200028"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/498773.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540542620"   Paper_ID="/498773.html"   Extracted="3540542620"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540547428"   Paper_ID="/498773.html"   Extracted="3540547428"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540555641"   Paper_ID="/498773.html"   Extracted="3540555641"   DDC="005.1/1"   Normalized_DDC="00511"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540572090"   Paper_ID="/498773.html"   Extracted="3540572090"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540582177"   Paper_ID="/498773.html"   Extracted="3540582177"   DDC="005.74"   Normalized_DDC="00574"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/498773.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/498773.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540686762"   Paper_ID="/498773.html"   Extracted="3540686762"   />

            <identifier   Org="ISBN:3540741275"   Paper_ID="/498773.html"   Extracted="3540741275"   DDC="006.3"   Normalized_DDC="0063"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540752900"   Paper_ID="/498773.html"   Extracted="3540752900"   DDC="003/.54"   Normalized_DDC="00354"   Normalized_Weight="0.07142857142857142"   />

            <identifier   Org="ISBN:3540756973"   Paper_ID="/498773.html"   Extracted="3540756973"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.07142857142857142"   />

      </rec>

      <rec   ID="/26901.html"   Type="article"   CiteSeer_Book="ACM   Transactions   on   Software   Engineering   and   Methodology"   CiteSeer_Volume="6"   Title="A   graphical   environment   for   the   design   of   concurrent   real-time   systems,">

            <identifier   Org="ISBN:0769521258"   Paper_ID="/26901.html"   Extracted="0769521258"   />

            <identifier   Org="ISBN:3540650032"   Paper_ID="/26901.html"   Extracted="3540650032"   DDC="004/.33"   Normalized_DDC="00433"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:354070888X"   Paper_ID="/26901.html"   Extracted="354070888X"   DDC="004"   Normalized_DDC="004"   Normalized_Weight="0.3333333333333333"   />

            <identifier   Org="ISBN:3540749837"   Paper_ID="/26901.html"   Extracted="3540749837"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.3333333333333333"   />

      </rec>

      <rec   ID="/356216.html"   Type="techreport"   CiteSeer_Book=""   CiteSeer_Volume=""   Title="Tabular   Representation   of   Relations,">

            <identifier   Org="ISBN:0123490405"   Paper_ID="/356216.html"   Extracted="0123490405"   DDC="004.07"   Normalized_DDC="00407"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0387187855"   Paper_ID="/356216.html"   Extracted="0387187855"   DDC="005.7/3"   Normalized_DDC="00573"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0769523153"   Paper_ID="/356216.html"   Extracted="0769523153"   />

            <identifier   Org="ISBN:0780329465"   Paper_ID="/356216.html"   Extracted="0780329465"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:0818682558"   Paper_ID="/356216.html"   Extracted="0818682558"   />

            <identifier   Org="ISBN:1586036734"   Paper_ID="/356216.html"   Extracted="1586036734"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540568832"   Paper_ID="/356216.html"   Extracted="3540568832"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540578269"   Paper_ID="/356216.html"   Extracted="3540578269"   DDC="004/.01/5113"   Normalized_DDC="004015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540602712"   Paper_ID="/356216.html"   Extracted="3540602712"   DDC="005.1/01/5113"   Normalized_DDC="0051015113"   Normalized_Weight="0.125"   />

            <identifier   Org="ISBN:3540675302"   Paper_ID="/356216.html"   Extracted="3540675302"   DDC="005.1/01/512"   Normalized_DDC="005101512"   Normalized_Weight="0.125"   />

      </rec>

      <rec   ID="/310156.html"   Type="article"   CiteSeer_Book="Science   of   Computer   Programming"   CiteSeer_Volume="25"   Title="Functional   Documents   for   Computer   Systems,">

            <identifier   Org="ISBN:079184255X"   Paper_ID="/310156.html"   Extracted="079184255X"   DDC="620/.00420285"   Normalized_DDC="62000420285"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1402079966"   Paper_ID="/310156.html"   Extracted="1402079966"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1581130740"   Paper_ID="/310156.html"   Extracted="1581130740"   />

            <identifier   Org="ISBN:158113472X"   Paper_ID="/310156.html"   Extracted="158113472X"   DDC="005.452"   Normalized_DDC="005452"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1586030655"   Paper_ID="/310156.html"   Extracted="1586030655"   DDC="621.382"   Normalized_DDC="621382"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:1591405076"   Paper_ID="/310156.html"   Extracted="1591405076"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540007024"   Paper_ID="/310156.html"   Extracted="3540007024"   DDC="004.2/1"   Normalized_DDC="00421"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540200835"   Paper_ID="/310156.html"   Extracted="3540200835"   DDC="005.3"   Normalized_DDC="0053"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540219897"   Paper_ID="/310156.html"   Extracted="3540219897"   DDC="005.117"   Normalized_DDC="005117"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540278826"   Paper_ID="/310156.html"   Extracted="3540278826"   DDC="004.13/1"   Normalized_DDC="004131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540290109"   Paper_ID="/310156.html"   Extracted="3540290109"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540408282"   Paper_ID="/310156.html"   Extracted="3540408282"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540421238"   Paper_ID="/310156.html"   Extracted="3540421238"   DDC="005.13/3"   Normalized_DDC="005133"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540441573"   Paper_ID="/310156.html"   Extracted="3540441573"   DDC="005"   Normalized_DDC="005"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540606882"   Paper_ID="/310156.html"   Extracted="3540606882"   DDC="005.1"   Normalized_DDC="0051"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540627170"   Paper_ID="/310156.html"   Extracted="3540627170"   />

            <identifier   Org="ISBN:3540664629"   Paper_ID="/310156.html"   Extracted="3540664629"   DDC="005.13/1"   Normalized_DDC="005131"   Normalized_Weight="0.06666666666666667"   />

            <identifier   Org="ISBN:3540897615"   Paper_ID="/310156.html"   Extracted="3540897615"   />

            <identifier   Org="ISBN:9051994311"   Paper_ID="/310156.html"   Extracted="9051994311"   />

      </rec>

      <rec   ID="SELF"   Type="SELF"   CiteSeer_Book="SELF"   CiteSeer_Volume="SELF"   Title="Automated   Deductive   Analysis   Of   Time   Critical   Systems   Based   On   Methodical   Formal   Specification"   />

</references_metadata>

www.000webhost.com