Results 111 to 120 of about 93,999 (162)

Evidence for chronological diversification of spinal neuron subtypes by a shared sequence of transcription factors. [PDF]

Sci Adv
Segarra LC, Sangster K, Sagner J, Kania A, Sagner A.   +4 more
europepmc   +1 more source

Using a Graphical Design Tool for Formal Specification

, 2001
Snook, C., Butler, M. J.
core  

Formal methods for safety-critical machine learning: a systematic literature review. [PDF]

Front Artif Intell
Newcomb A, Ochoa O.
europepmc   +1 more source

Does additional education affect memory consistently? An analysis of compulsory schooling reforms across Europe and U.S. [PDF]

Soc Sci Med
Perez-Arce F, Knapp D, Lobo R, Wenner M, Kapteyn A.   +4 more
europepmc   +1 more source

Equity premium forecasting with reliability-screened forward-looking signals. [PDF]

PLoS One
Huh J, Jeon J, Jeong S.
europepmc   +1 more source

A Formal Specification Framework for Ad Hoc Mobile Communication Networks

, 2007
Ouranos, I, Stefaneas, P, Frangos, P
core  

From Evidence to Requirements: The Implementation-Aware Target Product Profile (iTPP) for Specifying Mobile Outreach Cancer Testing Pathways

Kierkegaard P, Su B, Moghul M, Cahill D, James ND.   +4 more
europepmc   +1 more source

Formal specification

Proceedings of the Conference on The Future of Software Engineering, 2000
Formal specifications have been a focus of software engineering research for many years and have been applied in a wide variety of settings. Their industrial use is still limited but has been steadily growing. After recalling the essence,role, usage, and pitfalls of formal specification, the paper reviews the main specification paradigms to date and ...
Axel van Lamsweerde, van Lamsweerde, Axel   +1 more
core   +3 more sources