Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 234,859,404 papers from all fields of science
Search
Sign In
Create Free Account
TELOMERE LENGTH, MEAN LEUKOCYTE
Known as:
LTL
, TELM
National Institutes of Health
Create Alert
Alert
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Runtime verification on data-carrying traces
J. Kuester
2016
Corpus ID: 63660100
Malfunctioning software systems can cause severe loss of money, sensitive data, or even human life. The ambition is therefore to…
Expand
2014
2014
LTL-specification, verification and construction of PLC programs
D. Ryabukhin
,
E. Kuzmin
2014
Corpus ID: 8424509
An approach to specification, verification and construction of PLC programs for discrete problems is proposed. For the…
Expand
2013
2013
Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013
S. Gruner
,
A. Haxthausen
,
T. Maibaum
,
M. Roggenbach
2013
Corpus ID: 28901309
Railway signaling is now since more than 25 years the subject of successful industrial application of formal methods in the…
Expand
2009
2009
Efficient Translation of LTL to Buchi Automata
殷翀元
,
罗贵明
2009
Corpus ID: 116918521
2005
2005
A Hierarchy for Accellera's Property Specification Language
T. May
2005
Corpus ID: 267804
Vorliegende Diplomarbeit wurde von mir selbstständig verfasst. Es wurden keine anderen als die angegebenen Quellen und…
Expand
2003
2003
TRUCKLOAD VS. LTL
R. Spiegel
2003
Corpus ID: 167006175
SUBTITLE: SOFTWARE MAKES IT EASIER FOR SHIPPERS TO COMBINE LESS-THAN- TRUCKLOAD INTO TRUCKLOAD SHIPMENTS -- BUT CONSOLIDATION MAY…
Expand
Review
2000
Review
2000
DEOS Kernel: Environment Modeling using LTL Assumptions
C. Păsăreanu
2000
Corpus ID: 18230441
We report about our attempt to automatically construct an environment for the DEOS kernel (used while model checking the kernel…
Expand
1999
1999
Partial Order Reductions Preserving Simulations
Rob Gerthy
1999
Corpus ID: 17230770
The "state explosion problem" can be alleviated by using partial order reduction techniques. These methods rely on expanding only…
Expand
1999
1999
CASL-LTL - A CASL Extension For Dynamic Systems
G. Reggio
,
E. Astesiano
,
C. Choppy
1999
Corpus ID: 15818627
Casl the basic language developed within CoFI, the Common Framework Initiative for algebraic speciication and development, cannot…
Expand
Review
1999
Review
1999
A Survey on Model Checking Java Programs
S. Thompson
1999
Corpus ID: 17301230
Due to the recent advancements of the Internet, Java has become a dominant programming language, especiall y for coding…
Expand